properties of binary operations shs